\input maclet.tex \setmargin{1.5} \jmcletterhead \vskip 20pt \rm

\adx 4in: April 1, 1981\cr

\vskip 65pt

\adx  0pt:  Prof.  Luis  Moniz  Pereira\cr  Dept.  de  Informatica\cr
Universidade Nova de Lisboa\cr 1899 Lisboa Codex, PORTUGAL\cr

\parskip 11pt minus 6pt

Dear Professor Pereira:

        Many  thanks for  the papers  you have  sent me  and  for the
invitation to visit your laboratory  in Lisbon.  As you know  I shall
be visiting Professor Colmerauer's group in Marseille, and I  hope to
visit you as part  of that trip.  I  expect to finish my  lectures in
the  middle of  June, but  there might  be some  reason to  visit you
before then if  the schedule permits.  We  can correspond or  talk on
the telephone after I arrive in Marseille May 1.

        I have read Kowalski's book, but I don't have much  more idea
of logic programming  than it contains.  I  expect to know  more even
before  I arrive  in  Marseille.  My  opinion (or  perhaps  merely my
prejudice)   agrees  that   the  control   should  be   expressed  by
metalanguage statements,  so I  look forward  to learning  about your
results in this direction.

\vskip 11pt

\adx 3in: Sincerely,\cr

\vskip 37pt \parskip 0pt

\adx 3in: John McCarthy\cr

\vskip 15pt

\vfill\eject\end